Topos theory - PDFSEARCH.IO - Document Search Engine

Topos theory
Results: 187

#	Item
41	The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-13 17:07:58 Lattice theory Algebraic structures Power domains Semilattice Free lattice Topos Model theory Finite set FO Mathematics Abstract algebra Algebra
42	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 03:56:09 Structure Support Ideal Complete partial order Partially ordered set Continuous function Sierpiński space Spectral theory of ordinary differential equations Lambda calculus Mathematics Order theory Mathematical analysis
43	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-01 20:28:22
44	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-31 13:33:13
45	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-03 17:36:51
46	Performance analysis of OFDM modulation on indoor broadband PLC channels Add to Reading List Source URL: www.resmathsci.com Language: English Sheaf theory Category theory Homological algebra Topos theory Grothendieck topology Sheaf Étale cohomology Topos Ringed space Abstract algebra Algebra Algebraic geometry
47	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos
48	URBAN AREA BOUNDARIES LEGAL DESCRIPTION G R A P H I C S A R E F O R I L L U S T R AT I V E P U R P O S E S O N LY Technical Group Add to Reading List Source URL: gorgevitalsigns.org Language: English - Date: 2014-09-25 14:09:00 Sheaf theory Topos
49	How to make TOPOS tell you that the Si net of SiO2 beta quartz is quartz and create a Add to Reading List Source URL: topospro.com Language: English - Date: 2015-03-06 08:37:20 Sheaf theory Topos Construction Tessellation Computer icon Category of topological spaces Tile Silicon dioxide Mosaic Visual arts Topology
50	CSciFall 2014 Key for Tuesday November 18 – #10 1. Write an action schema for grabbing an object, one for carrying a grabbed object from a Add to Reading List Source URL: www-users.cselabs.umn.edu Language: English - Date: 2014-11-19 00:33:07 Grothendieck topology Topos theory Group action Abstract algebra Algebra Sheaf theory